projects / gtk4.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d045db) | patch
ci: Use a different Docker image
authorEmmanuele Bassi <ebassi@gnome.org>
Tue, 13 Mar 2018 16:05:03 +0000 (16:05 +0000)
committerEmmanuele Bassi <ebassi@gnome.org>
Tue, 13 Mar 2018 16:05:03 +0000 (16:05 +0000)
commit44469197d500e6a5812a3b595c7633c708f53a8b
tree8a65ee6a173d1ae8bb5a4647453de7ff7221f90atree | snapshot
parent9d045db142df369bca8795315d3c6c967a99ddd3commit | diff
ci: Use a different Docker image

I've rebuilt the new Docker image we use for CI to include GStreamer in
the dependencies.

We really need to have the Docker registry hosted on gnome.org, to avoid
pointing people at Dockerhub.
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.